How to integrate sqrt(1-2x)